What is harvey short for?

"Harvey" is a given name of Old Breton origin meaning "battle worthy" or "worthy of battle". It is derived from the Old Breton name "Haerviu", which consists of the elements "haer" meaning "battle" and "viu" meaning "worthy".

The name "Harvey" has been used as a first name for boys since the Middle Ages and has remained a popular choice throughout the English-speaking world. Famous individuals with the name Harvey include Harvey Keitel, Harvey Fierstein, and Harvey Weinstein.

In addition to being a given name, "Harvey" is also a surname of Old English origin, meaning "blazing iron" or "hot iron". It was traditionally used as an occupational surname for someone who worked with iron or iron products.